Environments

The environments for theorem, propositions etc. can be used with the usual LATEX [#!LaTeX!#,#!LaTeXD!#] syntax. The proof environment is already defined.


\begin{theorem}[Theorem name] If $A$\ satisfies the main axiom, then $A$\ holds if and only if $B$ holds. \end{theorem}

\begin{proof} The proof is trivial \end{proof}

The following environments have been predefined:

  1. theorem
  2. corollary
  3. lemma
  4. proposition
  5. conjecture
  6. proof